略评“语言谬误”──评介楚明锟主编的《逻辑学》

２０世纪５０年代以来,西方在非形式逻辑方面取得了重大进展。近几年来,我国逻辑界对此有愈来愈多的认识与响应。２０００年末出版的《逻辑学》教科书可视为一个例证。该书的价值和水平值得肯定。但其中的“语言谬误”一节大可商榷。     

DoDAF视图下的反导作战军事概念建模与仿真系统设计

反导作战概念模型是保证不同地空导弹武器系统之间指控系统可集成、可互操作性、高效一体化的关键。首先,针对传统建模语言在模型可执行验证方面的不足,在DoDAF视图框架下,提出一种基于统一建模语言（UML）的反导作战军事概念建模方法;其次,结合军事概念模型给出反导作战仿真系统设计的方法。规范建模框架并选择可执行性强的UML语言建立军事概念模型,对反导作战研究及指控系统开发具有一定参考价值。     

谈英汉翻译与文化的对等

从英汉文化对比的角度出发,探讨了由于两种文化不同而导致语言表达方式上的差异,论述了翻译需要克服语言及文化的双重障碍,简述了译者该如何解决翻译中文化对等的问题,并提出通过６种途径选择合适的翻译方法．     

基于信号的自动测试系统软件研究

分析了ATLAS 2K语言和IVI-S ignal Interface标准的系统模型和异同点,结合二者,给出了基于信号的自动测试系统软件设计方法,该方案为通用自动测试系统软件设计提供了技术实现途径。     

参数化建模的螺栓法兰连接刚度分析

为分析几何参数对螺栓法兰连接刚度的影响,用MSC.Patran软件的二次开发工具PCL(Patran Command Language)建立了螺栓法兰连接的参数化模型。研究了螺栓法兰连接刚度随连接结构几何参数的变化规律并进行了灵敏度分析。经分析可知,连接结构刚度对开孔位置比例参数最敏感,其次是上法兰厚度。当上部段长度大于某一数值时,连接结构刚度对上部段长度参数不敏感,这一结论能为连接结构动力学简化建模提供一定理论参考。     

想定驱动的仿真资源发现方法

为解决在云间共享架构的仿真环境下资源的自动发现问题,研究了仿真资源请求的描述方法及相应的资源发现算法,提出了想定驱动的仿真资源发现方法.方法通过扩展的军事想定描述语言表示仿真资源请求,使用双映射三过滤算法实现仿真资源的自动发现.分析表明,仿真想定驱动的资源发现方法可以实现在云间共享架构下仿真运行所需的大量资源的自动发现,并对发现结果具有语用校验功能,对于仿真环境的快速部署具有积极意义.     

Client/Server 模式的智能语言集成框架

将ＡＩ技术集成到主流信息技术之中是提高信息系统智能化水平的一项十分重要的基础性工作。本文讨论一种Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ计算环境（简称ＣＳＥ）,它将Ｐｒｏｌｏｇ系统和Ｃｌｉｐｓ系统作为两种特殊的数据服务系统集成其中。ＣＳＥ支持客户应用使用确定的ＡＰＩ,以规范的Ｐｒｏｌｏｇ语言（或Ｃｌｉｐｓ语言）形式请求Ｐｒｏｌｏｇ服务器（或Ｃｌｉｐｓ服务器）提供问题求解服务。文章阐述了这一设计的合理性,讨论了ＣＳＥ的体系结构和实现技术,说明了与特殊数据服务无关的通信机制、ＡＩ语言服务器的挂接技术以及ＣＳＥ应用。     

程序语言的军用特征及其对计算机软件的支持

本文讨论了程序语言的军用特征及ＡＤＡ与Ｃ对军用软件的支持,最后指出军用语言的发展方向。     

论教师职业口语的行业风格

教师职业口语是研究教师口语运用规律的一门应用语言学科,它包括教学口语和教育口语.教师工作主要依靠言语活动对学生传授知识,培养能力,进行教育.了解其行业口语风格的成因以及它所表现出的多方面、多层次的特征,目的是树立一个规范的标尺,更好地实现教育过程,达到教育目标.